Consensus Networks over Finite Fields F. Pasqualetti a , D. Borra b , F. Bullo a a Center for Control, Dynamical Systems, and Computation, University of California, Santa Barbara, USA b

Source URL: www.fabiopas.it

Infrastructure and Vocation: Field, Calling and Computation in Ecology Steven J. Jackson Cornell University 301 College Ave, Ithaca NY

Source URL: sjackson.infosci.cornell.edu

INVARIANTS FOR THE COMPUTATION OF INTRANSITIVE AND TRANSITIVE GALOIS GROUPS ANDREAS-STEPHAN ELSENHANS∗ Abstract. One hard step in the computation of Galois groups by Stauduhar’s method is the construction of relative

Source URL: www.staff.uni-bayreuth.de

DFG-Schwerpunktprogramm 1324 Extraktion quantifizierbarer Information aus komplexen Systemen” ” Efficient and accurate computation of spherical mean values at scattered center points

Source URL: www.dfg-spp1324.de

ON THE COMPUTATION OF THE PICARD GROUP FOR CERTAIN SINGULAR QUARTIC SURFACES ¨ ANDREAS-STEPHAN ELSENHANS* AND JORG JAHNEL**

Source URL: www.staff.uni-bayreuth.de

Problem solving and quantum computation Lu´ıs Tarrataca and Andreas Wichert Department of Informatics INESC-ID / IST - Technical University of Lisbon Portugal {luis.tarrataca,andreas.wichert}@ist.utl.pt

Source URL: web.ist.utl.pt

Glitnir banki hf Statement of Assets and Liabilities Incorporating an estimate of the value of assets as at 30 June 2009 and a computation of liabilities 31 August 2009

Source URL: glitnirbank.com

Constitution of the Applied Mathematics and Scientific Computation Student Council University of Maryland (As approved by the AMSC student body, August 2004; amended MayPreamble We, the students of the Applied Mat

Source URL: www.amsc.umd.edu

A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

Source URL: ect.bell-labs.com

• Category theory
• Models of computation
• Adjoint functors
• Functional programming
• Logic in computer science
• Denotational semantics
• Lambda calculus
• Cartesian closed category
• Sheaf
• F-algebra
• Kleisli category
• Monad

Announcing a New Special Interest Group: SIGLOG Prakash Panangaden SIGLOG Chair April 22, 2014 Logic is often called the “calculus of computation” and computation has

Source URL: siglog.hosting.acm.org